algebraic identities proof